<div>
   <p>
        Overwrite an existing git directory if it needs to point to a different
        object directory. WARNING: this may cause loss of data.
   This is passed to repo as <code>repo sync <i>--force-sync</i></code>.
  </p>
</div>
